We need to do sync when mov_to_cr3 to a value already shadowed.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 30 Nov 2005 11:16:35 +0000 (12:16 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 30 Nov 2005 11:16:35 +0000 (12:16 +0100)
commita5b0f465c5c06bdb878b868d3480500a5d0db031
treea572800afa69bb5eb64f41b8543f57f8a076c8d9
parentc52334688d170ba0a948f2f36165a5c17db9eaee
We need to do sync when mov_to_cr3 to a value already shadowed.
The L2 page and already shadowed L1 page may be out of sync.
This fixes the problems of segmentation faults and strange prints
when booting Redhat FC3 and make kernel in FC3 in VMX domain.

Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>
xen/arch/x86/shadow.c
xen/arch/x86/shadow32.c